Pointer analysis

Results: 174



#Item
111Software bugs / Static program analysis / Software testing / Pointer / C / Security bug / Shape analysis / Vulnerability / Computing / Software engineering / Computer programming

Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs {livshits, lam}@cs.stanford.edu

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2005-04-22 04:27:24
112Cyberwarfare / Stack buffer overflow / Buffer overflow / Uncontrolled format string / Vulnerability / Valgrind / C / Malware / Pointer / Computing / Software bugs / Software engineering

Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software James Newsome [removed] Carnegie Mellon University Abstract

Add to Reading List

Source URL: www.valgrind.org

Language: English - Date: 2006-08-12 00:33:35
113Software / COM file / Pointer / Stack / Assembly languages / Computing / Computer virus / System software

VIRUS BULLETIN www.virusbtn.com MALWARE ANALYSIS SO, ENTER STAGE RIGHT Peter Ferrie Microsoft, USA

Add to Reading List

Source URL: pferrie.host22.com

Language: English - Date: 2012-07-01 12:14:16
114Malware / Polymorphic code / Computer virus / Simile / C / Pointer / Subroutine / Computing / Computer programming / Software engineering

VIRUS BULLETIN www.virusbtn.com VIRUS ANALYSIS 2 IT’S ZELL(D)OME THE ONE YOU EXPECT Peter Ferrie and Heather Shannon

Add to Reading List

Source URL: pferrie.host22.com

Language: English - Date: 2011-09-27 16:13:20
115Data types / Frama-C / Source code / Function / Pointer / Subroutine / Computer programming / Computing / Software engineering

Value Analysis Frama-C’s value analysis plug-in Sodium[removed]rc2 Pascal Cuoq and Boris Yakobowski with Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:42
116X86 architecture / Computer virus / Dynamic-link library / COM file / X86-64 / Relocation / 64-bit / Portable Executable / Pointer / Computing / Software / System software

VIRUS BULLETIN www.virusbtn.com MALWARE ANALYSIS 1 ‘AMFIBEE’-OUS VEHICLE Peter Ferrie Microsoft, USA

Add to Reading List

Source URL: pferrie.host22.com

Language: English - Date: 2012-05-01 14:04:29
117Computing / Software engineering / Computability theory / Formal methods / Computer programming / Symbol / Pointer / Models of computation

A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA [removed]

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:18:05
118Computer virus / Address space layout randomization / COM file / Pointer / Relocation / AI / Computing / Software / System software

VIRUS BULLETIN www.virusbtn.com MALWARE ANALYSIS 1 A(C)ES HIGH Peter Ferrie Microsoft, USA

Add to Reading List

Source URL: pferrie.host22.com

Language: English - Date: 2013-03-07 00:57:56
119Data types / Frama-C / Source code / Function / Pointer / Subroutine / Computer programming / Computing / Software engineering

Value Analysis Frama-C’s value analysis plug-in Sodium[removed]rc2 Pascal Cuoq and Boris Yakobowski with Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:42
120Data types / Primitive types / Memory management / C++ / Static program analysis / Pointer / C / Data-flow analysis / Abstract interpretation / Computing / Software engineering / Computer programming

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet Guillaume Brat

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:17:58
UPDATE